Hans Chr. Iversen

Hans Arnold Heilbronn 1908-1975 Hans

CHR grammars

A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatment of ambiguity and a high flexibility to model various linguistic phenomena. The formalism extends previous logic programming based grammars with a form of context-sensitive rules ...

Angelic CHR

Implementations of CHR follow a committed-choice forwardchaining execution model: the non-determinism of the abstract semantics is partly re ned with extra-logical syntactic convention on the program order and possibly notations for weighted semantics (with priorities or probabilities), and partly left unspeci ed in the underlying compiler. This paper proposes an alternative execution model whi...

Hans Meinhardt

Hans Meinhardt is a theoretical developmental biologist working at the Max-Planck-Institute for Developmental Biology in Tübingen. He has pioneered the use of mathematical modelling of embryonic pattern formation. He received his PhD from the University of Cologne in Physics. For a postdoctoral fellowship, he went to the European High Energy Laboratory CERN at Geneva. By collaborating in an exp...

Chair : Hans